((v10 v4 3) (v5 v11 8) (v6 v1 8) (v5 v8 4) (v11 v9 0) (v11 v6 2) (v11 v3 7) (v6 v5 4) (v9 v6 1) (v6 v2 3) (v2 v5 1) (v9 v2 8) (v1 v11 9) (v5 v7 5) (v8 v10 4) (v1 v8 4) (v7 v10 2) (v10 v11 0) (v9 v7 3) (v9 v1 4) (v8 v2 1) (v5 v4 7) (v8 v3 8) (v3 v6 3) (v9 v5 1) (v3 v1 7) (v2 v1 4) (v5 v3 2) (v4 v1 4) (v9 v10 3) (v8 v9 3) (v8 v4 5))
63
((v9 v3) (v2 v8) (v2 v10) (v11 v4) (v8 v1))